1 /*
2 Project tests
3
4 Copyright (C) 2003 Jose San Leandro Armend?riz
5 jsanleandro@yahoo.es
6 chousz@yahoo.com
7
8 This library is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public
10 License as published by the Free Software Foundation; either
11 version 2 of the License, or (at your option) any later version.
12
13 This library is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
17
18 You should have received a copy of the GNU General Public
19 License along with this library; if not, write to the Free Software
20 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21
22 Thanks to ACM S.L. for distributing this library under the GPL license.
23 Contact info: jsr000@terra.es
24 Postal Address: c/Playa de Lagoa, 1
25 Urb. Valdecaba?as
26 Boadilla del monte
27 28660 Madrid
28 Spain
29
30 ******************************************************************************
31 *
32 * Filename: $RCSfile: ContractCheckerDocletTest.java,v $
33 *
34 * Author: Jose San Leandro Armend?riz
35 *
36 * Description: Executes all tests defined for package
37 * unittests.org.acmsl.contractchecker.
38 *
39 * Last modified by: $Author: chous $ at $Date: 2004/01/11 17:33:05 $
40 *
41 * File version: $Revision: 1.2 $
42 *
43 * Project version: $Name: $
44 *
45 * $Id: ContractCheckerDocletTest.java,v 1.2 2004/01/11 17:33:05 chous Exp $
46 */
47 package unittests.org.acmsl.contractchecker;
48
49 /*
50 * Importing project classes.
51 */
52 // JUnitDoclet begin import
53 import org.acmsl.contractchecker.ContractCheckerDoclet;
54 // JUnitDoclet end import
55
56 /*
57 * Importing JUnit classes.
58 */
59 import junit.framework.TestCase;
60
61 /*
62 This file is part of JUnitDoclet, a project to generate basic
63 test cases from source code and helping to keep them in sync
64 during refactoring.
65
66 Copyright (C) 2002 ObjectFab GmbH (http://www.objectfab.de/)
67
68 This library is free software; you can redistribute it and/or
69 modify it under the terms of the GNU Lesser General Public
70 License as published by the Free Software Foundation; either
71 version 2.1 of the License, or (at your option) any later
72 version.
73
74 This library is distributed in the hope that it will be useful,
75 but WITHOUT ANY WARRANTY; without even the implied warranty of
76 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
77 GNU Lesser General Public License for more details.
78
79 You should have received a copy of the GNU Lesser General
80 Public License along with this library; if not, write to the
81 Free Software Foundation, Inc., 59 Temple Place, Suite 330,
82 Boston, MA 02111-1307 USA
83 */
84
85
86 /***
87 * Tests ContractCheckerDocletTest class.
88 * @version $Revision: 1.2 $
89 * @see org.acmsl.contractchecker.ContractCheckerDoclet
90 */
91 public class ContractCheckerDocletTest
92 // JUnitDoclet begin extends_implements
93 extends TestCase
94 // JUnitDoclet end extends_implements
95 {
96 // JUnitDoclet begin class
97 org.acmsl.contractchecker.ContractCheckerDoclet contractcheckerdoclet = null;
98 // JUnitDoclet end class
99
100 /***
101 * Creates a ContractCheckerDocletTest with given name.
102 * @param name such name.
103 */
104 public ContractCheckerDocletTest(String name)
105 {
106 // JUnitDoclet begin method ContractCheckerDocletTest
107 super(name);
108 // JUnitDoclet end method ContractCheckerDocletTest
109 }
110
111 /***
112 * Creates an instance of the tested class.
113 * @return such instance.
114
115 */
116 public org.acmsl.contractchecker.ContractCheckerDoclet createInstance()
117 throws Exception
118 {
119 // JUnitDoclet begin method testcase.createInstance
120 return new org.acmsl.contractchecker.ContractCheckerDoclet();
121 // JUnitDoclet end method testcase.createInstance
122 }
123
124 /***
125 * Performs any required steps before each test.
126 * @throws Exception if an unexpected situation occurs.
127 */
128 protected void setUp()
129 throws Exception
130 {
131 // JUnitDoclet begin method testcase.setUp
132 super.setUp();
133 contractcheckerdoclet = createInstance();
134 // JUnitDoclet end method testcase.setUp
135 }
136
137 /***
138 * Performs any required steps after each test.
139 * @throws Exception if an unexpected situation occurs.
140 */
141 protected void tearDown()
142 throws Exception
143 {
144 // JUnitDoclet begin method testcase.tearDown
145 contractcheckerdoclet = null;
146 super.tearDown();
147 // JUnitDoclet end method testcase.tearDown
148 }
149
150 /***
151 * Tests ContractCheckerDocletTeststart()
152 * @throws Exception if an unexpected situation occurs.
153 * @see org.acmsl.contractchecker.ContractCheckerDoclet#start(RootDoc)
154 */
155 public void testStart()
156 throws Exception
157 {
158 // JUnitDoclet begin method start
159 // JUnitDoclet end method start
160 }
161
162 /***
163 * Tests ContractCheckerDocletTestoptionLength()
164 * @throws Exception if an unexpected situation occurs.
165 * @see org.acmsl.contractchecker.ContractCheckerDoclet#optionLength(java.lang.String)
166 */
167 public void testOptionLength()
168 throws Exception
169 {
170 // JUnitDoclet begin method optionLength
171 // JUnitDoclet end method optionLength
172 }
173
174 /***
175 * Tests ContractCheckerDocletTestvalidOptions()
176 * @throws Exception if an unexpected situation occurs.
177 * @see org.acmsl.contractchecker.ContractCheckerDoclet#validOptions(java.lang.String[][], DocErrorReporter)
178 */
179 public void testValidOptions()
180 throws Exception
181 {
182 // JUnitDoclet begin method validOptions
183 // JUnitDoclet end method validOptions
184 }
185
186
187
188 /***
189 * JUnitDoclet moves marker to this method, if there is not match
190 * for them in the regenerated code and if the marker is not empty.
191 * This way, no test gets lost when regenerating after renaming.
192 * Method testVault is supposed to be empty.
193 * @throws Exception if an unexpected situation occurs.
194 */
195 public void testVault()
196 throws Exception
197 {
198 // JUnitDoclet begin method testcase.testVault
199 // JUnitDoclet end method testcase.testVault
200 }
201
202 public static void main(String[] args)
203 {
204 // JUnitDoclet begin method testcase.main
205 junit.textui.TestRunner.run(ContractCheckerDocletTest.class);
206 // JUnitDoclet end method testcase.main
207 }
208 }
This page was automatically generated by Maven